| Name | Format | # Lines | Size | Date |
|---|---|---|---|---|
| auto.ml | Text File | 50 | 2KB | 1995-06-01 |
| auto.mli | Text File | 10 | 212b | 1995-06-01 |
| determ.ml | Text File | 71 | 2KB | 1995-06-01 |
| determ.mli | Text File | 10 | 224b | 1995-06-01 |
| ensent.ml | Text File | 14 | 338b | 1995-06-01 |
| ensent.mli | Text File | 5 | 91b | 1995-06-01 |
| expr.ml | Text File | 62 | 2KB | 1995-06-01 |
| expr.mli | Text File | 9 | 172b | 1995-06-01 |
| fastgrep.ml | Text File | 55 | 2KB | 1995-06-01 |
| fastrec.c | Text File | 20 | 495b | 1995-06-01 |
| fastrec.mli | Text File | 3 | 68b | 1995-06-01 |
| grep.ml | Text File | 55 | 2KB | 1995-06-01 |
| loadall.ml | Text File | 18 | 429b | 1995-06-01 |
| Makefile | Makefile | 30 | 740b | 1995-07-05 |